1. Basic proof theory
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
T73
2. Basic proof theory
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
T73
2000
3. Basic proof theory
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
T76
2000
4. Constructivism in mathematics
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Constructive mathematics
رده :
QA
9
.
56
.
T74
1988
5. Constructivism in mathematics : an introduction
پدیدآورنده : Troelstra, A. S.)Anne Sjerp(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Constructive mathematics
رده :
QA
9
.
56
.
T74
1988
6. Constructivism in mathematics:an introduction
پدیدآورنده : TROELSTRA,ANNE SJERP
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : CONSTRUCTIVE MATHEMATIC
رده :
QA
9
.
56
.
T74
7. Lectures on linear logic
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
P
25
.
C28
No
.
29
8. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
رده :
QA
3
.
L28
no
.
344
10. Principles of intuitionism
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
3
.
L28
no
.
95
11. Principles of intuitionism
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Intuition,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
95
12. Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory )1968( at SUNY
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
T84
1968
